DISCRETE METRIC SPACES: STRUCTURE, ENUMERATION, AND 0-1 LAWS
نویسندگان
چکیده
منابع مشابه
Discrete metric spaces: structure, enumeration, and 0-1 laws
Fix an integer r ≥ 3. We consider metric spaces on n points such that the distance between any two points lies in {1, . . . , r}. Our main result describes their approximate structure for large n. As a consequence, we show that the number of these metric spaces is ⌈r + 1 2 ⌉(n2)+o(n2) . Related results in the continuous setting have recently been proved by Kozma, Meyerovitch, Peled, and Samotij...
متن کاملOn the Structure of Metric-like Spaces
The main purpose of this paper is to introduce several concepts of the metric-like spaces. For instance, we define concepts such as equal-like points, cluster points and completely separate points. Furthermore, this paper is an attempt to present compatibility definitions for the distance between a point and a subset of a metric-like space and also for the distance between two subsets of a metr...
متن کاملProblems on Discrete Metric Spaces
These problems were presented at the Third International Conference on Discrete Metric Spaces, held at CIRM, Luminy, France, 15{18 September 1998. The names of the originators of a problem are given where these are known and diierent from the presenter of the problem at the conference. Terminology: In a metric space, the point y is between x and z if d(x; y) + d(y; z) = d(x; z). A d-segment is ...
متن کامل0 { 1 Laws for
A class of nite structures has a 0{1 law with respect to a logic if every property ex-pressible in the logic has a probability approaching a limit of 0 or 1 as the structure size grows. To formulate 0{1 laws for maps (i.e., embeddings of graphs in a surface), it is necessary to represent maps as logical structures. Three such representations are given, the most general being the full cross repr...
متن کاملMetric Spaces 1
The articles [9], [5], [11], [1], [10], [6], [3], [4], [2], [8], [12], and [7] provide the notation and terminology for this paper. We introduce metric structures which are extensions of 1-sorted structure and are systems 〈 a carrier, a distance 〉, where the carrier is a set and the distance is a function from [: the carrier, the carrier :] into R. One can check that there exists a metric struc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2019
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2019.52